Issue3744.agda:18,12-13
Constructor d is abstract, thus, not in scope here
when checking that the expression d has type D
